1. Advances in Computer Communication and Computational Sciences :
پدیدآورنده : Sanjiv K. Bhatia, Shailesh Tiwari, Krishn K. Mishra, Munesh C. Trivedi, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Computer networks.,Computer science.
رده :
TK5105
.
5
.
I57
2018
2. Advances in artificial intelligence :
پدیدآورنده : Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018
3. Advances in sport science and computer science
پدیدآورنده : editor, Mark Zhou, Hong Kong Education Society, Hong Kong.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Congresses.,Sports -- Data processing -- Congresses.,Sports sciences -- Congresses.
رده :
GV713
.
E358
2014
4. Artificial evolution :
پدیدآورنده : Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
618
5. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
6. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
7. Combinatorial and global optimization /
پدیدآورنده : editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial optimization, Congresses.,Mathematical optimization, Congresses.,Nonlinear programming, Congresses.,Optimisation combinatoire, Congrès.,Optimisation mathématique, Congrès.,Programmation non linéaire, Congrès.,Combinatorial optimization.,Mathematical optimization.,MATHEMATICS-- Combinatorics.,Nonlinear programming.
رده :
QA402
.
5
.
C5435
2002eb
8. Computational science and its applications -- ICCSA 2014 :
پدیدآورنده : Beniamino Murgante...[and 8 more] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses,Computer science, Congresses,Computer software, Congresses,Software engineering, Congresses
رده :
QA75
.
5
9. Constraint databases and applications : ESPRIT WG CONTESSA workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings
پدیدآورنده : Gabriel Kuper, Mark Wallace, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
1034
10. Constraint databases and applications : Second International Workshop on Constraint Databases Systems, CDB'97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constranits and Databases, Cambridge, MA, USA, August 19, 1996 : selected papers
پدیدآورنده : V. Gaede...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
1191
11. Constraint programming and large scale discrete optimization: DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization, September 14-17, 1998, DIMACS Center
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Mathematical optimization
رده :
QA
76
.
612
.
D56
1998
12. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
پدیدآورنده : Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
13. Decision making under contraints
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constraint programming (Computer science) ; Congresses. ;
14. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
15. Distributed software agents and applications :
پدیدآورنده : John W. Perram, Jean-Pierre Müller (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Distributed artificial intelligence -- Congresses.,Distributed artificial intelligence -- Industrial applications -- Congresses.,Intelligence artificielle répartie -- Congrès.
16. Frontiers of combining systems :
پدیدآورنده : Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2013
17. Functional and constraint logic programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ;
18. Functional and constraint logic programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
19. Functional and constraint logic programming :
پدیدآورنده : Josep Silva (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
رده :
QA76
.
62
20. Functional and constraint logic programming :
پدیدآورنده : Julio Mariño (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming, Congresses,Mathematical Logic and Formal Languages
رده :
QA76
.
63
.
W45
2011
